Electronic Books

Total Books: 61 - 80 /107
Model-Driven Architecture - Foundations and Applications

The goal of the European Conference on Model-Driven Architecture — Foundations and Applications (ECMDA-FA) is to bring ...

Lee mas
Model-Driven Architecture in Practice

This book introduces all the relevant information required to understand and put Model Driven Architecture (MDA) into industrial ...

Lee mas
Model-Driven Software Development

Abstraction is the most basic principle of software engineering. Abstractions are provided by models. Modeling and model ...

Lee mas
Model-Driven Testing

Written by the original members of this standardization group, this book shows you how to use UML to test complex software ...

Lee mas
Models in Software Engineering

This book constitutes the thoroughly refereed post-proceedings of 11 international workshops held as satellite events of ...

Lee mas
Modern Formal Methods and Applications

Formal methods are a robust approach for problem solving. It is based on logic and algebraic methods where problems can be ...

Lee mas
Object-Oriented Information Systems

Lee mas
Ontologies for Agents: Theory and Experiences

On the other hand, ontologies have established themselves as a powerful tool to enable kno- edge sharing, and a growing number ...

Lee mas
Perspectives of Systems Informatics

This volume contains the ?nal proceedings of the Sixth International Andrei Ershov Memorial Conference on Perspectives of ...

Lee mas
Petri Nets and Other Models of Concurrency - ICATPN 2006

This book constitutes the refereed proceedings of the 27th International Conference on Applications and Theory of Petri Nets ...

Lee mas
Programming Multi-Agent Systems (vol. # 3346)

This paper is focussed on a principled way to combine the two dominant paradigms for building multiagent team plans, namely ...

Lee mas
Pyomo — Optimization Modeling in Python

This book is Using many examples to illustrate the different techniques useful for formulating models, this text beautifully ...

Lee mas
Rapid Integration of Software Engineering Techniques (vol. # 3475)

This paper reports on the experiences of integrating several Software Engineering techniques by the Rapid Prototyping group of ...

Lee mas
Rapid Integration of Software Engineering Techniques (vol. # 3943)

This book constitutes the thoroughly refereed postproceedings of the Second International Workshop on Rapid Integration of ...

Lee mas
Real-Time Object Uniform Design Methodology with UML

The competitiveness of organizations facing globalization, information and communication technologies relies on strategic ...

Lee mas
Reasoning Web

This book contains a collection of thoroughly revised tutorial papers based on lectures given by leading researchers at the ...

Lee mas
Reliable Software Technologies -- Ada-Europe 2006

This book constitutes the refereed proceedings of the 11th International Conference on Reliable Software Technologies, Ada- ...

Lee mas
Requirements Engineering

Essentially, this is an update that places more emphasis on modelling by describing a greater range of approaches to system ...

Lee mas
Requirements Engineering: Foundation for Software Quality

This book constitutes the refereed proceedings of the 13th International Working Conference on Requirements Engineering: ...

Lee mas
Reverse Engineering of Object Oriented Code

The book describes the algorithms involved in recovering UML diagrams from the code and the techniques that can be adopted ...

Lee mas
Total Books: 61 - 80 /107